首页> 外文OA文献 >Computational Methods for Verification of Stochastic Hybrid Systems

【2h】

Computational Methods for Verification of Stochastic Hybrid Systems

机译：随机混合系统验证的计算方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Computational Methods for Verification of Stochastic Hybrid Systems [J] . Koutsoukos X.D., Riley D. IEEE transactions on systems, man, and cybernetics. Part A, Systems and humans . 2008,第2期

机译：随机混合系统验证的计算方法
2. Computational Methods for Verification of Stochastic Hybrid Systems [J] . Koutsoukos X. D., Riley D. IEEE transactions on systems, man, and cybernetics. Part A, Systems and humans . 2008,第2期

机译：随机混合系统验证的计算方法
3. Stochastic simulation algorithms for computational systems biology: Exact, approximate, and hybrid methods [J] . Simoni Giulia, Reali Federico, Priami Corrado, Wiley interdisciplinary reviews. Systems biology and medicine . 2019,第6期

机译：计算系统生物学的随机仿真算法：精确，近似和混合方法
4. Computational Methods for Reachability Analysis of Stochastic Hybrid Systems [C] . Xenofon Koutsoukos, Derek Riley International Workshop on Hybrid Systems: Computation and Control . 2006

机译：随机混合系统可达性分析的计算方法
5. Scalable Safety Verification of Stochastic Hybrid Systems [D] . Lal, Ratan. 2021

机译：随机混合系统的可扩展安全验证
6. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking [O] . Ovidiu Pârvu, David Gilbert -1

机译：多尺度时空元模型检查验证生物系统多级计算模型的新方法
7. Computational Methods for Verification of Stochastic Hybrid Systems [O] . Xenofon D. Koutsoukos, Derek Riley 2008

机译：随机混合系统验证的计算方法
8. 3.4.1: Numerical Methods for Propagating Uncertainty Across Scales and for Hybrid Stochastic-Deterministic Systems. [R] . Karniadakis, G. 2017

机译：3.4.1：跨越尺度和混合随机 - 确定性系统传播不确定性的数值方法。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号